home *** CD-ROM | disk | FTP | other *** search
/ SGI Freeware 2001 May / SGI Freeware 2001 May - Disc 1.iso / dist / fw_teTeX.idb / usr / freeware / bin / fontexport.z / fontexport
Text File  |  2001-01-10  |  2KB  |  70 lines
  1. #!/bin/sh
  2.  
  3. test -f /bin/sh5 && test -z "$RUNNING_SH5" \
  4.   && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \
  5.   && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; }
  6. unset RUNNING_SH5
  7.  
  8. test -f /bin/bsh && test -z "$RUNNING_BSH" \
  9.   && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \
  10.   && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; }
  11. unset RUNNING_BSH
  12.  
  13. umask 022
  14.  
  15. progname="`basename $0`"
  16.  
  17. dosnames=false
  18. case "$1" in
  19. -d)    dosnames=true ; shift ;;
  20. esac
  21.  
  22. to=$1
  23.  
  24. if [ -z "$to" ]; then
  25.     echo "Usage: $progname [-d] dest files ..." >&2 ; exit
  26. fi
  27.  
  28. shift
  29. for i in `find ${1+"$@"} -name \*.*[0-9]pk -print` ; do
  30.     dir=`echo $i | sed 's/^[^\/]*$/./; s/\/[^\/]*$//'`
  31.     file=`basename $i`
  32.     res=`echo $file | sed 's/.*\.//;s/pk//'`
  33.     if [ $dosnames = true ] ; then
  34.       name=`basename $file .${res}pk`.pk
  35.       DESTDIR=$to/dpi$res
  36.     else
  37.       name=$file
  38.       DESTDIR=$to/pk
  39.     fi
  40.  
  41.     if [ -f "$DESTDIR/$name" ]; then
  42.       echo "$DESTDIR/$name" ; continue
  43.     fi
  44.  
  45.     test -d $DESTDIR || mkdir $DESTDIR || continue
  46.  
  47.     rm -f $DESTDIR/$name
  48.     cp $i $DESTDIR/$name || continue
  49.  
  50.     echo "$DESTDIR/$name"
  51. done
  52.  
  53. for i in `find ${1+"$@"} -name \*.tfm -print` ; do
  54.     dir=`echo $i | sed 's/^[^\/]*$/./; s/\/[^\/]*$//'`
  55.     base=`basename $i .tfm`
  56.     file="$base.tfm"
  57.     DESTDIR="$to/tfm"
  58.  
  59.     if [  -f "$DESTDIR/$file" ]; then
  60.       echo "$DESTDIR/$file" ; continue
  61.     fi
  62.  
  63.     test -d $DESTDIR || mkdir $DESTDIR || continue
  64.  
  65.     rm -f $DESTDIR/$file
  66.     cp $i $DESTDIR/$file || continue
  67.  
  68.     echo "$DESTDIR/$file"
  69. done
  70.